theory of logical types
逻辑类型的理论
热门查询
- aww abbr. average weekly wage 周平均工资
- stratigraphical a. 地层学的
- curative n. 药品；治疗法 adj. 有疗效的；治病的
- halving n. 对分，二等分，减半[航空、航海]等分 v. 把…分成两半( halve的现在分词 ); 把…减半; 对分; 平摊
- unchanging adj. 不变的
- parenthetical adj. 插句的；附加说明的；放在括号里的
- phoneme n. 音素，音位
- phyllo n. 擀成极薄层的生面（用于制作酥点）
- expectant n. 期待者；候选人 adj. 期待的；怀孕的；预期中的
- pincer n. 螯；拨钉钳
- segmentary adj. 部分的，分割的
- prosthetics n. [外科] 修复学，修补学；弥补术
- dethrone vt. 废黜；废位赶出；罢免
- awkward adj. 尴尬的；笨拙的；棘手的；不合适的
- envoy n. 使者；全权公使
- reflexion n. <主英>反射，反射光; 反射作用（等于reflection）
- blogging n. 博客；写网志 v. 写博客（blog的ing形式）
- Creator n. 创造者；创建者
- rebellion n. 叛乱；反抗；谋反；不服从
- gossip n. 小道传闻；随笔；爱说长道短的人 vi. 闲聊；传播流言蜚语
考试词汇表
- reciprocating pump unit
- reciprocating unbalance
- reciprocating-apparatus
- reciprocity arrangement
- reciprocity calibration
- reciprocity coefficient
- reciprocity law failure
- reciprocity of benefits
- reciprocity transaction
- recirculated air cooler
- recirculating air dryer
- recirculating bin drier
- recirculating dissolver
- recirculation degassing
- recirculation flow rate
- recirculation operation
- recirculation pump trip
- reckon without her host
- reckon without his host
- reckon without our host
